$\forall$${\it the\_es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it the\_es}$). ($e$ = ${\it e'}$) $\Leftarrow\!\Rightarrow$ ($\uparrow$$e$ = ${\it e'}$)